For Immediate Release TENCENT ANNOUNCES 2017 FOURTH QUARTER AND ANNUAL RESULTS Hong Kong, March 21, 2018 – Tencent Holdings Limited (“Tencent” or the “Company”, 00700.HK), a leading provider of Internet value

Source URL: www.tencent.com

• Tencent
• Software
• Computing
• World Wide Web
• WeChat
• Ma Huateng
• Qzone
• QQ Music
• PlayerUnknown's Battlegrounds
• Advertising
• BlackBerry Limited
• App Store

Stroboscope: Declarative Network Monitoring on a Budget https://stroboscope.ethz.ch Olivier Tilmans Tobias Bühler Ingmar Poese

Source URL: www0.cs.ucl.ac.uk

• Internet architecture
• Computing
• Network architecture
• Information and communications technology
• Computer networking
• Routing
• Internet Standards
• Networking hardware
• Router
• Forwarding plane
• Multiprotocol Label Switching
• NetFlow

Kupní smlouva Pro obchodní balík „ C 13 – Dodávka židlí a sedaček“ pro Kongresové centrum Praha Smluvní strany:

Source URL: www.praguecc.cz

DON’T OPTIMIZE MY QUERIES, ORGANIZE MY DATA! Julian Hyde (Apache Calcite) TELUQ, Montréal, A “simple” query

Source URL: technolab.fun

• Data management
• Database management systems
• SQL
• Information retrieval
• Data
• Hierarchical and recursive queries in SQL
• Apache Calcite
• Query optimization
• Join
• Query plan
• Dino

An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: seahorn.github.io

• Mathematics
• Theoretical computer science
• Logic
• Automated theorem proving
• Logic programming
• Complex analysis
• Logical truth
• Propositional calculus
• Substitution
• Abstract interpretation
• Unification
• Term

IGP-as-a-Backup for Robust SDN Networks Olivier Tilmans Stefano Vissicchio Universit´e catholique de Louvain

Source URL: inl.info.ucl.ac.be

• Computing
• Internet architecture
• Information and communications technology
• Routing
• Data transmission
• Computer networking
• Network architecture
• Emerging technologies
• OpenFlow
• Software-defined networking
• Forwarding information base
• Forwarding

JouleSort: A Balanced Energy-Efficiency Benchmark Suzanne Rivoire Mehul A. Shah Stanford University

Source URL: rivoire.cs.sonoma.edu

• Computing
• Computers and the environment
• Computer performance
• Universe
• Information and communications technology
• Electric power
• Energy conservation
• Performance per watt
• Benchmark
• External sorting
• Energy density
• Standard Performance Evaluation Corporation

Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber

Source URL: user.it.uu.se

• Proof assistants
• Theoretical computer science
• Logic in computer science
• Mathematical logic
• Isabelle
• Logic for Computable Functions
• Mathematics
• Resolution
• Constructible universe
• Theorem prover
• LCF
• Formal methods

Computational Social Choice UPS Toulouse, 2015 Matching In a variant of the fair allocation problem, we try to match each agent

Source URL: formal.iti.kit.edu

• Mathematics
• Computational complexity theory
• Lloyd Shapley
• Matching
• Combinatorics
• Game theory
• Cooperative games
• Stable marriage problem
• CC
• Shapley
• Marriage problem

Journeys in World Politics Workshop Articles for discussion from the Chronicle of Higher Education 1) How Babies Alter Careers for AcademicsHaving children often bumps women off the tenure track, a new stud

Source URL: www.saramitchell.org